Transitiva rilato

Transitiva rilato estas rilato tiel ke se ĝi estas por orda duopo ${\displaystyle (x,y)}$ kaj por duopo ${\displaystyle (y,z)}$, ĝi estas por duopo ${\displaystyle (x,z)}$ ankaŭ.

Duparta rilato ${\displaystyle \varrho \subset X\times X}$ oni nomas transitiva, tiam:

${\displaystyle \forall _{x,y,z\in X}\;x\;\varrho \;y\land y\;\varrho \;z\implies x\;\varrho \;z}$.